//#include "cccc_mod_str.h"
//#include "cccc_mod_module_tree.h"
//
//ModuleTreeNode * ModularStore::getModuleTree() {
//	return this->moduleTree;
//}
//
//void ModularStore::setModuleTreeRoot(ModuleTreeNode * treeRoot){
//	this->moduleTree = treeRoot;
//}


